Works by Anderson, J. G. (exact spelling)

7 found
Order:
  1.  34
    Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable.J. G. Anderson - 1972 - Mathematical Logic Quarterly 18 (8-11):113-130.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  9
    An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi.J. G. Anderson - 1969 - Mathematical Logic Quarterly 15 (16‐18):259-288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  32
    An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi.J. G. Anderson - 1969 - Mathematical Logic Quarterly 15 (16-18):259-288.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  15
    A note on finite intermediate logics.J. G. Anderson - 1974 - Notre Dame Journal of Formal Logic 15 (1):149-155.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    Ánkov V. A.. O rasširénii intuicionistskogo propozicional′nogo isčisléniá do klassičéskogo i minimal′nogo-do intuicionistskogo. Izvéstiá Akadémii Nauk SSSR, Séria matématičéskaá, vol. 32 , pp. 208–211.Jankov V. A.. On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus. English translation of the preceding. Mathematics of the USSR—Izvestija , vol. 2 no. 1 , pp. 205–208. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-331.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    Review: V. A. Jankov, Finite Validity of Formulas of a Special Form. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-331.
  7.  17
    Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark